Advanced Topics in Types and Programming Languages Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

CS5236 – Advanced Automata Theory

Advanced Automata Theory is a lecture which will first review the basics of formal languages and automata theory and then give insight into specific topics from the theory of automata theory. In computer science, automata are an important tool for many theoretical results and various types of automata have been used to characterise complexity classes. The lecture will give a deeper understandin...

Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking

In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He presents a type-driven equivalence checking algorithm and verifies its completeness with respect to a definitional characterisation of equivalence. We present in this paper a formalisation of Crary’s proof using Isabelle...

” A Concise and Practical Introduction to Programming Algorithms in Java ” by Frank Nielsen

The book at hand by Frank Nielsen is a textbook mainly targeted to undergraduate students as a very first course in programming. As the title of book says, the programming language used is Java(TM). Following the demands of the targeted audience, the book introduces the topics programming and algorithms without requiring prior knowledge. More advanced topics and concepts such as for example obj...

Tutorial: The CLARION Cognitive Architecture

The half-day tutorial introduces participants to the CLARION cognitive architecture and presents a detailed description, as well as simulation examples, advanced topics, and demonstrations. It will combine conceptual (psychological), theoretical, and implementation aspects of the architecture. Participants should have some prior exposure to cognitive architectures and artificial neural networks...